formula manipulation language

un. 公式处理语言